kexec: Fix printing of paddr_t in 32bit mode.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Committed-by: Keir Fraser <keir@xen.org>

diff --git a/xen/common/kexec.c b/xen/common/kexec.c
index dd47e27e3c68e272e34ef4afacc2e84205fd79c2..71a3995b821684ed52043b104345a345628d144a 100644 (file)
--- a/xen/common/kexec.c
+++ b/xen/common/kexec.c
@@ -207,8 +207,8 @@ static void __init parse_crashinfo_maxaddr(const char * str)
     if ( (addr = parse_size_and_unit(str, NULL)) )
         crashinfo_maxaddr = addr;
     else
-        printk("Unable to parse crashinfo_maxaddr. Defaulting to %p\n",
-               (void*)crashinfo_maxaddr);
+        printk("Unable to parse crashinfo_maxaddr. Defaulting to %"PRIpaddr"\n",
+               crashinfo_maxaddr);
 }
 custom_param("crashinfo_maxaddr", parse_crashinfo_maxaddr);